Baby's first type checker
austinhenley.com·13h·
Discuss: Lobsters, Hacker News
🧩Haskell
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·9h·
Discuss: Hacker News
🧩Haskell
Lively Linear Lisp (1992)
plover.com·5h·
Discuss: Lobsters, Hacker News
🧩Haskell
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🧩Haskell
The Art of Transformer Programming (2023)
yanivle.github.io·1d·
Discuss: Hacker News
🤖AI
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
🧩Haskell
Answering some questions about Baba Yaga
eli.li·1d·
Discuss: Hacker News
🔴Scala
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🧩Haskell
Proper Error Handling for Your Node.js Application
masteringbackend.com·1h·
Discuss: Hacker News
🧩Haskell
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4h·
Discuss: Hacker News
🧩Haskell
This Page Is a Quine
pranavg.me·21h·
Discuss: Hacker News
🧩Haskell
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·14h·
Discuss: Lobsters, Hacker News, r/cpp
🔴Scala
What Is Complexity in Chess?
lichess.org·3h·
Discuss: Hacker News
🤖AI
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧩Haskell
Observations of Thwaites Glacier consistent with high rates of loss next 50 yrs
essopenarchive.org·15h·
Discuss: Hacker News
🤖AI
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·6h·
Discuss: Hacker News
🤖AI
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·1d·
Discuss: Hacker News
🧩Haskell
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·1d·
Discuss: Hacker News
🧩Haskell
D as a Better C (2017)
dlang.org·1d·
Discuss: Hacker News
🧩Haskell
The Burden of Responsibility
ides.dev·1d·
Discuss: Hacker News
🤖AI